FERMI: A flexible expert reasoner with multi-domain inferencing
نویسندگان
چکیده
منابع مشابه
FERMI : A Flexible Expert Reasoner with Multi - Domain lnferencing JILL
Expert reasoning combines voluminous domain-specific knowledge with mare general factual and strategic knowledge. Whereas expert system builders have recognized the need for specificity and problem-solving researchers the need far generality, few attempts have been made to develop expert reasoning engines combining different kinds of knowledge at different levels of generality. This paper repor...
متن کاملWolpertinger: A Fixed-Domain Reasoner
The Web Ontology Language OWL [5] comes with comprehensive modeling tool support. This sometimes leads to situations where OWL is the modeling paradigm chosen over other formalisms, even if the application scenario does not match the typical usage of this language. For example, problems of a constraint-satisfaction nature do not go well with OWL’s standard semantics. Consider a toy configuratio...
متن کاملA Multi-reasoner, Justification-Based Approach to Reasoner Correctness
OWL 2 DL is a complex logic with reasoning problems that have a high worst case complexity. Modern reasoners perform mostly very well on naturally occurring ontologies of varying sizes and complexity. This performance is achieved through a suite of complex optimisations (with complex interactions) and elaborate engineering. While the formal basis of the core reasoner procedures are well underst...
متن کاملA Model-Based Approach for Supporting Dialogue Inferencing in a Conversational Case-Based Reasoner
Conversational ease-based reasoning (CCBR) a form of interactive case-based reasoning where users input a partial problem description (in text). The CCBR system responds with ranked solution display, which lists the solutions of stored cases whose problem descriptions best match the user’s, and a ranked question display, which lists the unanswered questions in these cases. Users interact with t...
متن کاملA Domain Reasoner for Propositional Logic
An important topic in courses in propositional logic is rewriting propositional formulae with standard equivalences. This paper analyses what kind of feedback is offered by the various learning environments for rewriting propositional logic formulae, and discusses how we can provide these kinds of feedback in a learning environment. To give feedback and feed forward, we define solution strategi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Cognitive Science
سال: 1988
ISSN: 0364-0213
DOI: 10.1016/0364-0213(88)90009-2